101. Meditations on first philosophy with selections)ebook(
پدیدآورنده : Rene Descartes; Translated with an Introduction and notes by Michael Moriaty,Title
کتابخانه: Publishing Library of Samt (Tehran)
موضوع : first philosophy,god- proof,ontological,Methodology,knowledge, theory of
رده :
B
E5M67
1853
102. Memoirs of a proof theorist : Godel and other logicians
پدیدآورنده : Takeuti, Gaisi, 6291-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory,، Godel, Kurt Friedrich, 6091-8791
رده :
QA
9
.
54
.
T25G4313
2003
103. Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Intuitionistic Mathematics. ; Proof Theory. ; Model Theory. ;
104. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : Troelstra, A. S. )Anne Sjerp(
موضوع : ، Intuitionistic mathematics,، Proof theory,، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
105. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Intuitionistic mathematics,، Proof theory,، Model theory
رده :
QA
3
.
L28
no
.
344
106. Methods of Cut-Elimination
پدیدآورنده : / Matthias Baaz, Alexander Leitsch
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Automatic theorem proving,Proof theory,اثبات قضیه ماشینی,اثبات نظریه
رده :
QA76
,.
9
.
A96
,
B33
2011
107. Mystical experience of God : a philosophical inquiry
پدیدآورنده : Gellman, Jerome I.
کتابخانه: The library, the center of scientific documents and research institutes of the hawzeh and university (Qom)
موضوع : ، Mysticism - History,، Experience )Religion(,، Knowledge, Theory Of,، Gud - Proof, Empirical
رده :
BL
625
.
G4M9
2001
108. Mystical experience of God: a philosophical inquiry
پدیدآورنده : Gellman, Jerome I
کتابخانه: Special Library of University of Religions (Qom)
موضوع : ، Mysticism,، Experience )Religion(,، Knowledge, Theory of )Religion(,Proof, Empirical ، God
رده :
BL
625
.
G44
2001
109. Normalization, cut-elimination, and the theory of proofs
پدیدآورنده : Ungar, Anthony M., 5491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory
رده :
P
25
.
C28
No
.
28
110. Numbers and proofs
پدیدآورنده : Allenby, R.B.J.T
کتابخانه: Central Library and Information Center of Birjand University (South Khorasan)
موضوع : ، Number thory,، Proof theory
رده :
QA
241
.
A4
N5
1997
111. On the shape of mathematical arguments
پدیدآورنده : Gasteren, Antonetta J. M.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
G37
1990
112. On the shape of mathematical arguments
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Proof theory ;
113. On the shape of mathematical arguments
پدیدآورنده : Gasteren, Antonetta J. M. van, 2591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory
رده :
QA
76
.
L28
Vol
.
445
114. Ordinal analysis with an introduction to proof theory
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Proof theory. ;
115. Probability And Inference In The Law Of Evidence: The Uses And Limits Of Bayesianism
پدیدآورنده :
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Evidence (Law)- Congresses,Burden Of Proof- Congresses,Inference (Logic)- Congresses,Bayesian Statistical Decision Theory- Congresses
رده :
Q
،
174
،.
B67
،
1988
116. Problems and proofs in numbers and algebra
پدیدآورنده : Millman, Richard S., 5491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Number theory,، Proof theory,، Algebra
رده :
QA
241
.
M552P7
117. #Problems and proofs in numbers and algebra
پدیدآورنده : #Richard S. Millman, Peter J. Shiue, Eric Brendan Kahn
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Number theory ،Proof theory ،Algebra
رده :
#
QA
،#.
M55
،#
2015
118. Proof
پدیدآورنده : Plumpton, C.
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Proof theory
119. Proof
پدیدآورنده : Plumpton, C
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
P4
1984
120. Proof Theory for Fuzzy Logics
پدیدآورنده : \ by George Metcalfe, Nicola Olivetti, Dov Gabbay.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Fuzzy logic.,Proof theory.,منطق فازی
رده :
E-Book
,